COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	Like(Pat,Joe) ∧ K(Pat,Want(Joe,X)) ⊃ Want(Pat,X)
C00003 ENDMK
C⊗;
Like(Pat,Joe) ∧ K(Pat,Want(Joe,X)) ⊃ Want(Pat,X)

Want(Pat,X) ∧ K(Pat,Can(Pat,Y,X)) ⊃ Cause(X ∧ Did(Pat,Y))

Cause(X) ∧ Y ⊃ Cause(X∧Y)

Cause(X∧Y) ⊃ Cause(X)

Cause(Cause X) ⊃ Cause X

Know(Pat,X) ⊃ Can(Pat,Tell(Joe,X),Know(Joe,X))


K(Joe,Like(Pat,Joe))

Want(Joe,Know(Joe,Telephone Mike))

K(Joe,Know(Pat,Telephone Mike))